Math'φsics

Menu
  • Acceuil
  • Maths
  • Physique
    • Maths
    • Physique
  • Théorème de Bézout

    Formulaire de report


    Théorème


    Arithmétique

    Théorème de Bézout :
    Soient \(a,b\) deux entiers
    \(a\) et \(b\) sont premiers entre eux si et seulement s'il existe \(u,v\in\Bbb Z\) tq $$au+bv=1$$

    Théorème de Bézout :
    • \(a,b\) sont deux entiers premiers entre eux

    $$\Huge\iff$$
    • il existe \(u,v\in{\Bbb Z}\) tels que $$au+bv=1$$



    (Nombres premiers entre eux)
    Montrer que \(a\) et \(b\) sont premiers entre eux si et seulement s'il existe \(u,v\in{\Bbb Z}\) tq $$au+bv=1$$ (théorème de Bézout)

    Le sens \(\implies\) est une conséquence direct de l'identité de Bézout (\(\forall a,b\in{\Bbb Z},\exists u,v\in{\Bbb Z},\quad au+bv=\operatorname{pgcd}(a,b)\))

    Divisions de combinaisons linéaires

    Sens \(\impliedby\) : $$\left(\operatorname{pgcd}(a,b)|a\land\operatorname{pgcd}(a,b)|b\right)\implies\operatorname{pgcd}(a,b)|au+bv=1$$

    (Identité de Bézout, Division - Diviseur - Divisibilité, Combinaison linéaire)



    Dans un anneau

    Théorème de Bézout :
    Soit \((a_1,\dots,a_n)\in\mathcal A^n\). $$\begin{align}&{{\bigwedge^n_{i=1}a_i=1 }}\\ \iff&{{\mathcal A=\sum^n_{i=1}a_i\mathcal A}}\\ \iff&{{\exists (x_1,\dots,x_n)\in\mathcal A^n,\quad\sum^n_{i=1}a_ix_i=1 }}\end{align}$$


    Corollaires

    Remarque :
    Si \(a,b\in{\Bbb Z},\exists a',b'\in{\Bbb Z}\) tq...
    • \(a=a'\operatorname{pgcd}(a,b)\)
    • \(b=b'\operatorname{pgcd}(a,b)\)
    • \(\operatorname{pgcd}(a',b')=1\)


  • Rétroliens :
    • Anneau
    • Identité de Bézout